A Reference Model for Requirements and Specifications
نویسندگان
چکیده
M a y / J u n e 2 0 0 0 I E E E S O F T W A R E 37 between the user-requirements specification and the software-requirements specification, mandating complete documentation of each according to various rules. Other cases emphasize this distinction less. For instance, some groups at Microsoft argue that the difficulty of keeping a technical specification consistent with the program is more trouble than the benefit merits.2 We can find a wide range of views in industry literature and from the many organizations that write software. Is it possible to clarify these various artifacts and study their properties, given the wide variations in the use of terms and the many different kinds of software being written? Our aim is to provide a framework for talking about key artifacts, their attributes, and relationships at a general level, but precisely enough that we can rigorously analyze substantive properties.
منابع مشابه
Definition and Instantiation of a Reference Model for Problem Specifications
Based on the reference model for requirements and specifications of Jackson, Zave, et al. a reference model for problem specifications of reactive systems is defined. Considering the requirements specification technique FOREST, it is shown that both reference models can be instantiated using a real–time temporal logic and that they are compatible with structural concepts like inheritance and ag...
متن کاملReducing Requirements to EIS Specifications GAP Using RM-ODP Enterprise Viewpoint
RM-ODP (Reference Model Open Distributed Processing) standard prescribes architectural viewpoint specifications, but does not address traceability with requirement expression. In this article, we propose a three-layer approach to requirements modeling, from the system high level goals, to the detailed business rules and nonfunctional requirements. Then, these descriptions are connected to key e...
متن کاملA Requirements-based Framework for the Analysis of Socio-technical System Behaviour
Requirements Engineering’s theoretical and practical developments typically look forward to the future (i.e. a system to be built). Under certain conditions, however, they can also be used for the analysis of problems related to actual systems in operation. Building on the Jackson/Zave reference model [2] for requirements and specifications, this paper presents a framework useful for the preven...
متن کاملHEPA Filters specifications in two standards, ASME AG-1 & DOE for using in Tehran Research Reactor (TRR)
HEPA filters serve as important safety device to protect personnel as well as the public and environment from the radiation effects exist in the air, so they are vital devices in the event accidents. DOE provides directions through the use of two technical standards, 3020 and 3025, including QA requirements for the procurement, packaging, shipping and storage of HEPA filters and also provides d...
متن کاملModelling requirements with UML : a rigorous approach ( Doing requirements well with UML ) Half - day tutorial proposal Proposers
The tutorial addresses the problems connected with requirements modelling in a UMLbased development process. UML supports requirements modelling by means of use cases. This practice suffers from several limitations, especially as use cases are quite informal descriptions –thus allowing ambiguities and misinterpretation of requirements– and they are not object-oriented –thus making traceability ...
متن کاملDeSyRe: decomposition of systems and their requirements: transition from system to subsystem using a criteria catalogue and systematic requirements refinement
In software systems development, companies try to handle the increasing size and complexity of their systems by signing up different subcontractors for subsystems. For distributed development and smooth integration, a major challenge is to deduce subsystem specifications from system specifications in order to deliver them to the subcontractors. Thereby, thorough requirements engineering lays th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Software
دوره 17 شماره
صفحات -
تاریخ انتشار 2000